VHDL Code Generation in the Ptolemy II Environment
نویسندگان
چکیده
It is becoming increasingly popular to describe real time signal proessing systems targetted for FPGA or ASIC implementation using structural signal flow graphs. We have implemented support for generation of synthesizeable as well as testbench VHDL code from Ptolemy II models. A helper based approach borrowing heavily from the existing Ptolemy II C code generation framework is used. This work demonstrates the extensibility of the helper based codegeneration approach and sets the stage for future research in synthesis of efficient hardware descriptions from heterogenous visual models.
منابع مشابه
Transformation and VHDL Code Generation from Coarse-grained Dataflow Graph
This paper discusses how we generate VHDL codes for DSP applications described in data ow graphs. Because the generated VHDL code implements the details of the control structure we can easily transform it into a running circuit without any modi cation, using logic synthesis tools. To improve the quality of the synthesized circuit we apply some graph transformation techniques to an original data...
متن کاملCode Generation for Discrete Event Controllers in Ptolemy II
The goal of this project is to provide a code generation framework for discrete event (DE) control models for cyberphysical systems (CPS) in Ptolemy II [1]. This framework should be as generic and platform independent as possible. The generated code should be tested on a target platform. Ptolemy offers the possibility to embed the generated code into the simulation environment. The generated co...
متن کاملSynthesizable Vhdl Code Generation from Data Flow Graph
This paper discusses how we generate a VHDL code for a DSP application described in a data ow graph(DFG). Because the generated VHDL code contains only synthesizable constructs and implements details of control logics we can easily transform it into a running hardware module using logic synthesis tools. This facility is very useful for DFG based high level system design tools including our code...
متن کاملVerifying Ptolemy II Discrete-Event Models Using Real-Time Maude
This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in RealTime Maude the semantics of a subset of hierarchical Ptolemy II DE models, and explain how the code generation infrastructure of Ptolemy II has been used to automatically synthesize a Real-Time Maude verification model from a Ptolemy II design model. This enables a mode...
متن کاملVerifying hierarchical Ptolemy II discrete-event models using Real-Time Maude
This paper defines a real-time rewriting logic semantics for a significant subset of Ptolemy II discreteevent models. This is a challenging task, since such models combine a synchronous fixed-point semantics with hierarchical structure, explicit time, and a rich expression language. The code generation features of Ptolemy II have been leveraged to automatically synthesize a Real-Time Maude veri...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006